Simulation of LET Models in Simulink and Ptolemy

نویسندگان

  • Patricia Derler
  • Andreas Naderlinger
  • Wolfgang Pree
  • Stefan Resmerita
  • Josef Templ
چکیده

This paper describes two different approaches of simulating embedded control software whose real-time requirements are explicitly specified by means of the Logical Execution Time (LET) abstraction introduced in the Giotto project. As simulation environments we chose the black-box MATLAB/Simulink product and the open-source project Ptolemy II. The paper first sketches the modeling of LET-based components with the Timing Definition Language (TDL). As the LET abstraction allows the platform-independent modeling of the timing behavior of embedded software, a correct simulation of TDL components is equivalent to the behavior on a specific platform. We integrated TDL with both MATLAB/Simulink and Ptolemy and highlight the differences and similarities of the particular TDL simulation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Simulation of TDL Applications

Most of the existing modeling tools and frameworks for embedded applications use levels of abstraction where execution and communication times of computational tasks are not captured. Thus, properties such as time and value determinism can be lost when refining the model closer to a target platform. The Logical Execution Time (LET) paradigm has been proposed to deal with this issue, by enabling...

متن کامل

A Modular Building Controls Virtual Test Bed for the Integration of Heterogeneous Systems

This paper describes the Building Controls Virtual Test Bed (BCVTB) that is currently under development at Lawrence Berkeley National Laboratory. An earlier prototype linked EnergyPlus with controls hardware through embedded SPARK models and demonstrated its value in more cost-effective envelope design and improved controls sequences for the San Francisco Federal Building. The BCVTB presented h...

متن کامل

A MATLAB / SIMULINK BASED FAULT ANALYSIS OF SMALL HYDROPOWER PLANT

ABSTRACTRenewable Energy Sources (RES) are well – defined as energy sources, that are in abundance within the natural surroundings and are much inexhaustible. In addition, hydroelectricity (HE) is a vital part of world renewable energy supply and hydropower remains a bulk source of electricity generation because of its environmental friendliness in nature. Modeling is the analysis of the ...

متن کامل

Mathematical Structures in Computer Science a Modular Formal Semantics for Ptolemy a Modular Formal Semantics for Ptolemy †

Ptolemy ‡ is an open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular in the sense that atomic actors and their compositions are treated in a unified w...

متن کامل

A modular formal semantics for Ptolemy

Ptolemy is an open-source and extensible modeling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy which is modular, in the sense that atomic actors and their compositions are treated in a unified wa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008